Specification language - PDFSEARCH.IO - Document Search Engine

Specification language
Results: 1266

#	Item
51	Event-B specification templates for defining dynamic semantics of DSLs Ulyana Tikhonova Add to Reading List Source URL: wiki.event-b.org Language: English - Date: 2016-05-29 06:58:27 Theoretical computer science Logic in computer science Programming language semantics Denotational semantics Semantics Action semantics Operational semantics Programming language
52	The F# 3.1 Language Specification Note: This documentation is the specification of the 3.1 release of F# for releases and updates made inDiscrepancies may exist between this specification and the 3.1 implementa Add to Reading List Source URL: fsharp.org Language: English - Date: 2016-08-15 16:34:27 Software engineering Computer programming Computing Functional languages F Sharp Strong and weak typing Type system C Expression Operator Recursion C Sharp syntax
53	Outline Choreography Specification Language Security Policy Specification Language Enforcement Approach Conclusion Add to Reading List Source URL: security-lab.jaist.ac.jp Language: English - Date: 2015-11-22 02:25:26 Computing Technology Security Software engineering Product development Quality Specification Technical communication Business Process Execution Language Computer security
54	IF: An Intermediate Representation for SDL and its Applications Marius Bozga , Jean-Claude Fernandez , Lucian Ghirvu , Susanne Graf , Jean-Pierre Krimm , Laurent Mounier and Joseph Sifakis VERIMAG, Centre Equation, 2 a Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2012-12-31 04:25:31 Software engineering Computing Models of computation Software Finite automata Finite-state machine Transition system XC Verilog Clock Presentation Specification and Description Language
55	Tool Interface Standard (TIS) Portable Formats Specification Version 1.1 TIS Committee October 1993 Add to Reading List Source URL: refspecs.linuxbase.org Language: English - Date: 2015-01-28 11:44:48 Programming language implementation Portable Executable Executable and Linkable Format UNIX System V Unix Object file Executable Dynamic linker Library Debuggers Relocatable Object Module Format COFF
56	SDL Implementations for Wireless Sensor Networks Incorporation of PragmaDev’s RTDS into the Deterministic Protocol Stack BiPS Tobias Braun, Dennis Christmann, Reinhard Gotzhein, Alexander Mater {tbraun, christma, gotzh Add to Reading List Source URL: sdl-forum.org Language: English - Date: 2014-10-14 21:27:47 Network protocols Diagrams Specification and Description Language Protocol stack
57	Network Working Group Request for Comments: 4012 Updates: 2725, 2622 Category: Standards Track L. Blunk Add to Reading List Source URL: www.rfc-editor.org Language: English - Date: 2005-03-11 19:34:15 Internet Standards Routing IP addresses Internet Protocol IPv6 Multiprotocol BGP Multicast address Routing Policy Specification Language Border Gateway Protocol IPv4 Classless Inter-Domain Routing IPv6 transition mechanism
58	NIST SPRevision 3, The Technical Specification for SCAP Version 1.3 Add to Reading List Source URL: csrc.nist.gov Language: English - Date: 2016-07-18 13:14:41 Computer security Security Content Automation Protocol Extensible Configuration Checklist Description Format Federal Information Security Management Act National Vulnerability Database National Institute of Standards and Technology Angela Orebaugh Open Vulnerability and Assessment Language Vulnerability CVSS Information Security Automation Program
59	Onsite Training Extended Development with ICEfaces 3 and JSF 2 DAY 1: Day 1 begins with an introduction to JavaServer Faces (JSF2). Working with your choice of IDE (MyEclipse or Eclipse) you will create and deploy a JSF2 Add to Reading List Source URL: www.icesoft.org Language: English - Date: 2016-01-20 15:45:38 JavaServer Faces Java enterprise platform Ajax Java specification requests Web development ICEfaces Comet Facelets Unified Expression Language Web application
60	Prototyping SDL Extensions Andreas Blunk and Joachim Fischer Department of Computer Science, Humboldt University Berlin, Germany Add to Reading List Source URL: sdl-forum.org Language: English - Date: 2014-10-14 21:27:55 Diagrams Specification and Description Language Domain-specific language Semaphore Conceptual model Thread